// Vector.h
#ifndef __VECTOR_H__
#define __VECTOR_H__

#include <vector>

#include "util/Pool.h"

template <typename T>
class Vector : public std::vector <T, pool_allocator<T> > 
{
public:
    NEW_DELETE_OPERATORS_INLINE_H(Vector,NoSuper);
    
    Vector () {};
    Vector (size_t __n) : std::vector<T,pool_allocator<T> >(__n) {};
};

#endif // __VECTOR_H__
